Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
611	Preface The main motivation of writing this book was to help myself. I am a professor in the field of operations research, and my daily activities involve building models of mathematical optimization, developing algorit Add to Reading List Source URL: www.chkwon.net Language: English - Date: 2016-08-04 11:55:32 Operations research Mathematical optimization Computer algebra systems Mathematical modeling Program optimization AMPL Algorithm Julia Linear programming Computer programming Computational science Theoretical computer science
612	Theoretical Computer Science – 254 www.elsevier.com/locate/tcs Longest repeats with a block of k don’t cares Maxime Crochemorea, b,1 , Costas S. Iliopoulosb,2 , Manal Mohamedb,∗ , Marie-France Sagotc Add to Reading List Source URL: pbil.univ-lyon1.fr Language: English - Date: 2008-10-22 02:35:21 Binary trees Arrays Knowledge representation Data types Theoretical computer science Suffix tree Tree Suffix array Rope Lowest common ancestor AVL tree B-tree
613	Computer Science & Information Science 2016 press.princeton.edu Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2016-06-02 09:36:39 Computational science Theoretical computer science Agent-based model
614	Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:29:56 Theoretical computer science Formal methods ACL2 Lisp Statements Automated theorem proving Formal verification J Strother Moore Mathematical proof Conjecture Algorithm Reason
615	D-ADMM: A DISTRIBUTED ALGORITHM FOR COMPRESSED SENSING AND OTHER SEPARABLE OPTIMIZATION PROBLEMS João F. C. Mota1,2 , João M. F. Xavier2 , Pedro M. Q. Aguiar2 , and Markus Püschel3 1 2 Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2012-01-20 04:32:38 Algorithm Mathematical logic Theoretical computer science Distributed computing Game artificial intelligence Routing algorithms Augmented Lagrangian method
616	From SIAM News, Volume 39, Number 8, OctoberBridging the Gap Between Numerical Linear Algebra, Theoretical Computer Science, and Data Applications By Gene H. Golub, Michael W. Mahoney, Petros Drineas, and Lek-Heng Add to Reading List Source URL: mmds-data.org Language: English - Date: 2013-11-17 17:36:47 Matrix theory Linear algebra Numerical linear algebra Multivariate statistics Multilinear algebra Higher-order singular value decomposition Non-negative matrix factorization Singular value decomposition Tensor Matrix Rank Orthogonal matrix
617	Summer 2009 :: COM SCI 181, Sec.1 :: Introduction to Formal Languages and Automata Theory :: Syllabus/Info Class Information Location, day, time: from the Registrar Add to Reading List Source URL: atakangunal.com Language: English* - Date: 2014-10-22 13:26:26 Formal languages Theoretical computer science Theory of computation Computability theory Models of computation Computability Automata theory Introduction to the Theory of Computation Turing machine Super-recursive algorithm Algorithm Finite-state machine
618	Abstract Information Please send this abstract information page to PASPS 9 abstract-taker _ Add to Reading List Source URL: www.pasps9.org Language: English - Date: 2016-02-11 21:24:40 Spintronics Magnetic ordering Theoretical computer science Magnetism Giant magnetoresistance Spin-transfer torque Magnetic semiconductor Ferromagnetism Spin Magnet Abstract Potential applications of graphene
619	MCS 401 – Computer Algorithms I Syllabus Lev Reyzin SpringTime and Location: M-W-F, 11:00-11:50pm, Behavioral Sciences Building (BSB) 319 Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-11 11:39:54 Algorithm Mathematical logic Theoretical computer science Course
620	Theoretical Computer Science–2863 Contents lists available at ScienceDirect Theoretical Computer Science journal homepage: www.elsevier.com/locate/tcs Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2014-11-26 08:32:25 Computational complexity theory Approximation algorithms Complexity classes Operations research NP-complete problems Polynomial-time approximation scheme Travelling salesman problem Steiner tree problem APX Optimization problem Combinatorial optimization NP

UPDATE